matlab java testing systems vb.net c++ manufacturing inspection low temperature uml software tool systematic elicitation laser statestep testing software engineering test laboratory simulink requirements